Ruling makes it harder to convict dig thieves

Inspiratory muscle training in difficult to wean patients: work it harder, make it better, do it faster, makes us stronger

Weaning from prolonged mechanical ventilation is a complex, time-consuming process that involves the loss of force/generating capacity of the inspiratory muscle. In their study 'Inspiratory muscle strength training improves the outcome in failure to wean patients: a randomized trial', Martin and colleagues showed that the use of an inspiratory muscle strength program increased the maximal inspi...

Relativisation makes contradictions harder for Resolution

We provide a number of simplified and improved separations between pairs of Resolution-with-bounded-conjunction refutation systems, Res(d), as well as their tree-like versions, Res∗(d). The contradictions we use are natural combinatorial principles: the Least number principle, LNPn and an ordered variant thereof, the Induction principle, IPn. LNPn is known to be easy for Resolution. We prove th...

What Makes Petri Nets Harder to Verify: Stack or Data?

We show how the yardstick construction of Stockmeyer, also developed as counter bootstrapping by Lipton, can be adapted and extended to obtain new lower bounds for the coverability problem for two prominent classes of systems based on Petri nets: Ackermann-hardness for unordered data Petri nets, and Tower-hardness for pushdown vector addition systems.

Ratio of dependent patients to nurses makes job much harder.

Standards are not going to improve in line with the aims of the Care campaign without good staffing levels.

To dig or not to dig.